$\vdash$  $\forall$$i$,$j$:$\mathbb{Z}$, $x$,$y$:\{$i$..$j$$^{-}$\}. Dec($x$ = $y$)